_require "./031_cycle.smi"
val y : int
